- epistemic logic
- эпистемологическая логика
English-Russian dictionary of computer science. 2015.
epistemic logic
Смотреть что такое "epistemic logic" в других словарях:
Epistemic logic — is a subfield of modal logic that is concerned with reasoning about knowledge. While epistemology has a long philosophical tradition dating back to Ancient Greece, epistemic logic is a much more recent development with applications in many fields … Wikipedia
epistemic logic — noun the modal logic of knowledge and uncertainty and ignorance • Hypernyms: ↑modal logic … Useful english dictionary
Epistemic modal logic — is a subfield of modal logic that is concerned with reasoning about knowledge. While epistemology has a long philosophical tradition dating back to Ancient Greece, epistemic logic is a much more recent development with applications in many fields … Wikipedia
logic, philosophy of — Philosophical study of the nature and scope of logic. Examples of questions raised in the philosophy of logic are: In virtue of what features of reality are the laws of logic true? ; How do we know the truths of logic? ; and Could the laws of… … Universalium
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… … Wikipedia
Epistemic possibility — In philosophy and modal logic, epistemic possibility relates a statement under consideration to the current state of our knowledge about the actual world: a statement is said to be epistemically possible if it may be true, for all we know ,… … Wikipedia
Epistemic theories of truth — In philosophy, epistemic theories of truth are attempts to analyze the notion of truth in terms of epistemic notions such as knowledge, belief, acceptance, verification, justification, and perspective. A variety of such conceptions can be… … Wikipedia
Modal logic — is a type of formal logic that extends classical propositional and predicate logic to include operators expressing modality. Modals words that express modalities qualify a statement. For example, the statement John is happy might be qualified by… … Wikipedia
Common knowledge (logic) — For common knowledge in general, see Common knowledge. Common knowledge is a special kind of knowledge for a group of agents. There is common knowledge of p in a group of agents G when all the agents in G know p, they all know that they know p,… … Wikipedia
applied logic — Introduction the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… … Universalium
